Fantasmas, visões, estática: metáforas em sentido literal

Visões progressivas de computações distribuidas

A checkpoint is a state selected by a process during its execution. A global checkpoint is composed of one checkpoint from each process and it is consistent if it represents a snapshot of the computation that could have been taken by an externai observer. The solution to many problems in distributed systems requires a sequence of consistent global checkpoints that describes the progress of a di...

Utilização de técnicas de análise estática e dinâmica para otimização de aplicações de propósito geral em GPUs

We have witnessed large advances in the use of devices designed speci cally for running parallel applications. Examples of this class of hardware are graphics processing cards, as those produced by NVIDIA. The use of GPUs to accelerate general purpose applications gave rise to a new line of parallel applications development, popularly known as GPGPU. Although recent, GPGPU applications achieved...

Comunicação científica em blogs: convergências e divergências nas visões do pesquisador e da sociedade-relato de caso

Literal-paraconsistent and literal-paracomplete matrices

We introduce a family of matrices that define logics in which paraconsistency and/or paracompleteness occurs only at the level of literals, that is, formulas that are propositional letters or their iterated negations. We give a sound and complete axiomatization for the logic defined by the class of all these matrices, we give conditions for the maximality of these logics and we study in detail ...

Literal Reification

In this paper we introduce the pattern literal reification, a modelling technique to address scenarios, in which we need to bless particular literals, usually when applying data properties, in order to use them as subjects and/or full-fledged objects of semantic assertions.